REDUCE Meets CAMAL

نویسنده

  • J. P. Fitch
چکیده

It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module is created for REDUCE, and it is tested on some small and medium-sized problems taken from the CAMAL test suite. The largest calculation is the determination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern hardware.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Robo-CAMAL : anchoring in a cognitive robot

The CAMAL architecture (Computational Architectures for Motivation, Affect and Learning) provides an excellent framework within which to explore and investigate issues relevant to cognitive science and artificial intelligence. This thesis describes a small sub element of the CAMAL architecture that has been implemented on a mobile robot. The first area of investigation within this research rela...

متن کامل

Lambing performance of Morlam and Dorset ewes under accelerated lambing systems.

Two accelerated lambing systems, Morlam using Morlam sheep (USDA, Beltsville 1966 to 1975) and Camal using Dorset ewes (Cornell 1978 to 1981), were evaluated for first lambing ages, interlambing intervals and conception probabilities. Morlam ewes were continuously exposed to rams over the year, while Camal Dorset ewes were exposed every other month. Morlam lambs were mated as early as 367 d of ...

متن کامل

Probabilistic BDI in a Cognitive Robot Architecture

The probabilistic approach to cognition has become an established approach in recent decades. Cognition is better viewed as solving probabilistic, rather than logical, inference problems; i.e. cognition is better understood in terms of probability theory, rather than in terms of logic. This article presents a cognitive architecture used to govern a robot probabilistically. The design and implem...

متن کامل

robo-CAMAL: A BDI motivational robot

Motivation is a central concept in the development of autonomous agents and robots. This paper describes an architecture that uses a psychological BDI model of reasoning, combined with a distributed multi-level model of motivation. The robot controlling architecture makes use of a generic set of deliberative components plus an environment task-centred set of reactive components that reflect the...

متن کامل

The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability

Software Engineering for Mathematics p. 27 Calculemus Talks Some Traditional Mathematical Knowledge Management p. 28 Math Handwriting Recognition in Windows 7 and Its Benefits p. 29 Assembling the Digital Mathematics Library p. 31 CAMAL 40 Years on Is Small Still Beautiful? p. 32 Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations p. 45

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999